A simple algebra of first order logic.

Thermoelastic Analysis of a Functionally Graded Simple Blade Using First-Order Shear Deformation Theory

In this article, the thermo-elastic behavior of a functionally graded simple blade subjected to the mechanical and thermal loadings is presented, applying a semi-analytical method and a variable thickness cantilever beam model. A specific temperature gradient is employed between the root and the edges of the beam. It is assumed that the mechanical and thermal properties are longitudinal directi...

First-Order Logic

Taming First-Order Logic

In this paper we define computationally well-behaved versions of classical first-order logic and prove that the validity problem is decidable1.

Extended First-Order Logic

We consider the EFO fragment of simple type theory, which restricts quantification and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: complete proof systems, compactness, and countable models. We obtain these results with an analytic tableau system and a concomitant model ex...

First-order intensional logic

First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several semantics based on counterparts have been examined, in a development that goes back to David Lewis. There is yet another line of research, using intensional objects, that traces back to Richard Montague. I have been invo...